New Families of Finite Coherent Orthoalgebras without Bivaluations
نویسندگان
چکیده
In the present paper we study the following problem: how to construct a coherent orthoalgebra which has only a finite number of elements, but at the same time does not admit a bivaluation (i.e. a morphism with a codomain being an orthoalgebra with just two elements). This problem is important in the perspective of Bell-Kochen-Specker theory, since one can associate such an orthoalgebra to every saturated non-colorable finite configuration of projective lines. The first result obtained in this paper provides a general method for constructing finite orthoalgebras. This method is then applied to obtain a new infinite family of finite coherent orthoalgebras that do not admit bivaluations. The corresponding proof is combinatorial and yields a description of the groups of symmetries for these orthoalgebras.
منابع مشابه
Two descriptions of state spaces of orthomodular structures
We present and compare two descriptions of state spaces of orthomodular structures (orthoalgebras etc.). Both are based on families of Boolean algebras and their corresponding hypergraphs called Greechie diagrams. The rst approach is based on pasted families of Boolean algebras and gives all orthoalgebras as their pastings. It gives a complete description of the orthoalgebra, as well as its sta...
متن کاملTopological Orthoalgebras
We define topological orthoalgebras (TOAs), and study their properties. While every topological orthomodular lattice is a TOA, the lattice of projections of a Hilbert space (in its norm or strong operator topology) is an example of a lattice-ordered TOA that is not a topological lattice. On the other hand, we show that every compact Boolean TOA is a topological Boolean algebra. We also show tha...
متن کاملBoolean Subalgebras of Orthoalgebras
We reconstruct orthoalgebras from their partially ordered set of Boolean subalgebras, and characterize partially ordered sets of this form, using a new notion of a direction. For Boolean algebras, this reconstruction is functorial, and nearly an equivalence.
متن کاملCompact Orthoalgebras
We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and also the projection lattice of a Hilbert space. As the latter example illustrates, a lattice-ordered TOA need not be a topological lattice. However, we show that a compact Boolean TOA is a topological Boolean algebra. Using this, we prove th...
متن کاملState spaces of orthomodular structures
We present several known and one new description of orthomodular structures (orthomodular lattices, orthomodular posets and orthoalgebras). Originally, orthomodular structures were viewed as pasted families of Boolean algebras. Here we introduce semipasted families of Boolean algebras as an alternative description which is not as detailed, but substantially simpler. Semipasted families of Boole...
متن کامل